#inferencia con restricciones